Cost Relation Systems: A Language-Independent Target Language for Cost Analysis
نویسندگان
چکیده
منابع مشابه
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis
Cost analysis aims at obtaining information about the execution cost of programs. This paper studies cost relation systems (CRSs): the sets of recursive equations used in cost analysis in order to capture the execution cost of programs in terms of the size of their input arguments. We investigate the notion of CRS from a general perspective which is independent of the particular cost analysis f...
متن کاملIs Cost-Benefit Analysis a Foreign Language?
Do people think better in a foreign language? D'une certaine façon, oui. Il existe des preuves considérables à cet effet, du moins dans la mesure où ils sont moins susceptibles de s'appuyer sur des intuitions qui peuvent conduire à de graves erreurs. Questa scoperta sottolinea e rende più plausibile, una richiesta centrale nella politica di regolamentazione, il che significa che il valore delle...
متن کاملCost Analysis of Fuzzy Queuing Systems
Regarding the fact that getting a suitable combination of the human resources and service stations is one of the important issues in the most service and manufacturing environments, In this paper, we have studied the two models of planning queuing systems and its effect on the cost of the each system by using two fuzzy queuing models of M/M/1 and M/E2/1. In the first section, we have compar...
متن کاملAutomated Cost Analysis of a Higher-Order Language in Coq
The cost analysis of a program is a function from the size of its input to the number of steps the program takes to run. In this work we address two difficulties associated with constructing cost analyses. First, what is the cost of a higher-order program? If an expression takes a function as input, what is the “size” of that input? If an expression evaluates to a function, what is its “cost”? ...
متن کاملImplementing Low-cost TTCS Systems using Assembly Language
We have previously described a “pattern language” consisting of nearly eighty components, which will be referred to here as the “PTTES Collection” (see Pont, 2001; Pont and Ong, in press). This language is intended to support the development of reliable embedded systems: the particular focus of the collection is on systems with a time triggered, co-operatively scheduled (TTCS) system architecture.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.07.057